81. LATIN 2018 :
پدیدآورنده : Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
رده :
QA75
.
5
82. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
83. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
84. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
85. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
86. Optimal algorithms : International Symposium, Varna, Bulgaria, May 29 - June 2, 1989 : Proceedings
پدیدآورنده : H. Djidjev, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Approximation theory,Congresses ، Mathematical optimization,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
401
87. Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Approximation theory-- Congresses,، Mathematical optimization-- Congresses,، Computational complexity-- Congresses
رده :
QA
297
.
O66
1989
88. Parameterized and exact computation
پدیدآورنده : edited by Dániel Marx, Peter Rossmanith
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity, Congresses,Computer algorithms, Congresses,Parameter estimation, Congresses
رده :
QA276
.
8
.
I97
2011eb
89. Parameterized and exact computation : first International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
پدیدآورنده : Rod Downey, Michael Fellows, Frank Dehne )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parameter estimation,Congresses ، Computer algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
3162
90. Polytopes:
پدیدآورنده : edited by T. Bisztriczky, P. McMullen, R. Schneider, A. Ivić Weiss.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Polytopes -- Congresses.,Polytopes.
رده :
QA691
.
E358
1994
91. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
92. Proceedings of the 33rd annual ACM Symposium on the Theory of Computing : Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده : Sponsored by SIGACT ]The ACM Special Interest Group for Algorithms and Computation Theory[, organized by the Computer Technology Institute
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2001
93. Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, Lllinois, USA, June 13-15, 2004
پدیدآورنده : sponsored by SIGACT, The ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2004
94. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
پدیدآورنده : Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2002
95. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
96. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
97. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
98. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
99. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
100. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2005
